NAME¶

Warnings - Warning definitions

Module¶

Module Warnings

Documentation¶

Module Warnings
: sig end

Warning definitions

Warning: this module is unstable and part of Compiler_libs .

type loc = {
loc_start : Lexing.position ;
loc_end : Lexing.position ;
loc_ghost : bool ;
}

type t =
| Comment_start
| Comment_not_end
| Fragile_match of string
| Partial_application
| Labels_omitted of string list
| Method_override of string list
| Partial_match of string
| Non_closed_record_pattern of string
| Statement_type
| Unused_match
| Unused_pat
| Instance_variable_override of string list
| Illegal_backslash
| Implicit_public_methods of string list
| Unerasable_optional_argument
| Undeclared_virtual_method of string
| Not_principal of string
| Without_principality of string
| Unused_argument
| Nonreturning_statement
| Preprocessor of string
| Useless_record_with
| Bad_module_name of string
| All_clauses_guarded
| Unused_var of string
| Unused_var_strict of string
| Wildcard_arg_to_constant_constr
| Eol_in_string
| Duplicate_definitions of string * string * string * string
| Multiple_definition of string * string * string
| Unused_value_declaration of string
| Unused_open of string
| Unused_type_declaration of string
| Unused_for_index of string
| Unused_ancestor of string
| Unused_constructor of string * bool * bool
| Unused_extension of string * bool * bool * bool
| Unused_rec_flag
| Name_out_of_scope of string * string list * bool
| Ambiguous_name of string list * string list * bool * string
| Disambiguated_name of string
| Nonoptional_label of string
| Open_shadow_identifier of string * string
| Open_shadow_label_constructor of string * string
| Bad_env_variable of string * string
| Attribute_payload of string * string
| Eliminated_optional_arguments of string list
| No_cmi_file of string * string option
| Bad_docstring of bool
| Expect_tailcall
| Fragile_literal_pattern
| Misplaced_attribute of string
| Duplicated_attribute of string
| Inlining_impossible of string
| Unreachable_case
| Ambiguous_pattern of string list
| No_cmx_file of string
| Assignment_to_non_mutable_value
| Unused_module of string
| Unboxable_type_in_prim_decl of string
| Constraint_on_gadt
| Erroneous_printed_signature of string
| Unsafe_without_parsing
| Redefining_unit of string
| Unused_open_bang of string
| Unused_functor_parameter of string

type alert = {
kind : string ;
message : string ;
def : loc ;
use : loc ;
}

val parse_options : bool -> string -> unit

val parse_alert_option : string -> unit

Disable/enable alerts based on the parameter to the -alert command-line option. Raises Arg.Bad if the string is not a valid specification.

val without_warnings : (unit -> 'a) -> 'a

Run the thunk with all warnings and alerts disabled.

val is_active : t -> bool

val is_error : t -> bool

val defaults_w : string

val defaults_warn_error : string

type reporting_information = {
id : string ;
message : string ;
is_error : bool ;
sub_locs : (loc * string) list ;
}

val report : t -> [ `Active of reporting_information | `Inactive ]

val report_alert : alert -> [ `Active of reporting_information | `Inactive ]

exception Errors

val check_fatal : unit -> unit

val reset_fatal : unit -> unit

val help_warnings : unit -> unit

type state

val backup : unit -> state

val restore : state -> unit

val mk_lazy : (unit -> 'a) -> 'a Lazy.t

Like Lazy.of_fun , but the function is applied with the warning/alert settings at the time mk_lazy is called.